Búsqueda por autor: Gabbay, Dov M., 1945-
Mostrando 1-4 de 4 resultados, ordenados por
 
Autores varios
1. Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson. 1993-1998

  
2. Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum. 1992

  
3. Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner. 1983

  
4. Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay, Hans J. Ohlbach (eds.). 1994


Explorar índices alfabéticos


Es suficiente con que ingrese las primeras letras. Omita artículos iniciales en títulos.
Recorrer el catálogo completo (por orden de ubicación del material)